Service Reliability And Availability Model With Petri Nets: A New Hybrid Approach For Service Availability
نویسندگان
چکیده
Most part of the existing analytical models to predict service reliability and availability assume a static behavior of the service and do not take into account the correlation between the invoked system components. In order to take into account the dynamic aspects of a service as functional chains, operational processes and logistic support, a hybrid approach is here introduced: a dynamic SERA (SErvice Reliability Availability) Model, including a service simulation model based on hybrid Petri Nets. The main goal of the proposed model is to determine the reliability/availability of a service taking into account the characteristics of the service (functional chains and operative processes), as well as the SW/HW dependability figures (MTBF, MDT). In the proposed approach the service and its invoked system components are represented through Hybrid Petri Nets where the SW/HW failures have been modeled with stochastic distribution through kinematic MonteCarlo time simulations. In order to refine and validate the proposed model a case study based on a simple user registration service has been developed. The results show the feasibility of the proposed approach along with a set of metrics used to quantify service performances on a statistical basis and evaluate service quality. Keywords—RAMS, Availability, Service, Simulation, Petri Nets
منابع مشابه
Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملHybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کامل